1. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)